退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:有界模型检验中的矛盾前因调试
Daniel Große; Robert Wille; Ulrich Kühne; Rolf Drechsler;
机译:对分析友好型处理器的最坏情况执行时间的可扩展且精确的估计和调试:模型检查的回归
机译:使用符号模型检查调试智能合同的业务逻辑
机译:模型检查:算法验证和调试
机译:边界模型检查中的矛盾先验调试
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:使用计划行为理论对手术清单使用的前因进行建模:一项横断面研究
机译:Focuscheck:用于模型检查和调试顺序c程序的工具
机译:有限内存检查中嵌入式内存的高效建模
机译:绑定内存检查中嵌入式内存的有效建模
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。